Encountering and Countering Tribal Conflict With Film and Dialogue

Martin explores the ability of group leaders to overcome resistance to reconciliation in group conflicts, whether innate or otherwise. He uses an example of a group conflict that occurred across religious lines with the pending release of a movie titled Theologians Under Hitler. Even if out-group biases make group conflicts harder to resolve, offsetting that complication might be a predisposition to attend to the views of a respected leader of the in-group

Meta-evaluation of the impacts and legacy of the London 2012 Olympic Games and Paralympic Games : Developing methods paper

This report brings together the interim findings from the Developing Meta-Evaluation Methods study, which is being undertaken in conjunction with the Meta-Evaluation of the Impacts and Legacy of the London 2012 Olympic Games and Paralympic Games. The work on methods is funded by the Economic and Social Research Council (ESRC). The aim of this paper is to review the existing evidence on conducting meta-evaluation, and provide guidance appropriate to the Meta Evaluation of the Games as well as other meta-evaluation studies

Coherence Constraints for Operads, Categories and Algebras

Coherence phenomena appear in two different situations. In the context of category theory the term `coherence constraints' refers to a set of diagrams whose commutativity implies the commutativity of a larger class of diagrams. In the context of algebra coherence constrains are a minimal set of generators for the second syzygy, that is, a set of equations which generate the full set of identities among the defining relations of an algebraic theory. A typical example of the first type is Mac Lane's coherence theorem for monoidal categories, an example of the second type is the result of Drinfel'd saying that the pentagon identity for the `associator' of a quasi-Hopf algebra implies the validity of a set of identities with higher instances of this associator. We show that both types of coherence are governed by a homological invariant of the operad for the underlying algebraic structure. We call this invariant the (space of) coherence constraints. In many cases these constraints can be explicitly described, thus giving rise to various coherence results, both classical and new.Comment: 29 pages, LaTeX209, article 12pt + leqno style. A substantially revised versio

Revising Z: part I - logic and semantics

This is the first of two related papers. We introduce a simple specification logic ZC comprising a logic and a semantics (in ZF set theory) within which the logic is sound. We then provide an interpretation for (a rational reconstruction of) the specification language Z within ZC. As a result we obtain a sound logic for Z, including a basic schema calculus

Revising Z: part II - logical development

This is the second of two related papers. In "Revising Z: Part I - logic and semantics" (this journal) we introduced a simple specification logic ZC comprising a logic and a semantics (in ZF set theory). We then provided an interpretation for (a rational reconstruction of) the specification language Z within ZC. As a result we obtained a sound logic for Z, including the basic schema calculus. In this paper we extend the basic framework with more sophisticated features (including schema operations) and we mount a critique of a number of concepts used in Z. We further demonstrate that the complications and confusions which these concepts introduce can be avoided without compromising expressibility